Перевод: со всех языков на русский

с русского на все языки

detachment rule

См. также в других словарях:

  • Rule of St. Augustine — • Names the five documents sometimes identified as the Rule of Augustine, quickly narrows the field to two contenders, settles on Letter 211. Also deals with Augustine s relation to monasticism Catholic Encyclopedia. Kevin Knight. 2006. Rule of… …   Catholic encyclopedia

  • rule of trial and error — Position Po*si tion, n. [F. position, L. positio, fr. ponere, positum, to put, place; prob. for posino, fr. an old preposition used only in comp. (akin to Gr. ?) + sinere to leave, let, permit, place. See {Site}, and cf. {Composite}, {Compound},… …   The Collaborative International Dictionary of English

  • Condensed detachment — (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… …   Wikipedia

  • The Golden Rule — Not to be confused with the Golden Law or the Golden ratio.   This term refers to the maxim do as you would be done by . For other uses, see Golden Rule (disambiguation). The maxim of the golden rule is exemplified in many Christian stories …   Wikipedia

  • Military of Macau under Portuguese rule — Macau was under Portuguese rule until 1999. Prior to the handover to the People s Republic of China, Portugal had limited military personnel in Macau; the last major military presence was in 1974. No Portuguese troops had been stationed in Macau… …   Wikipedia

  • List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… …   Wikipedia

  • Normal modal logic — In logic, a normal modal logic is a set L of modal formulas such that L contains: All propositional tautologies; All instances of the Kripke schema: and it is closed under: Detachment rule (Modus Ponens): ; Necessitation rule: implies . The… …   Wikipedia

  • Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium

  • POLAND — POLAND, republic in E. Central Europe; the kingdom of Poland and the grand duchy of Lithuania united formally (Poland Lithuania) in 1569. This article is arranged according to the following outline: the early settlements jewish legal status… …   Encyclopedia of Judaism

  • Muslim conquest of Egypt — Part of the Muslim conquests and Byzantine Arab Wars …   Wikipedia

  • Demographic history of Macedonia — This article is about the region spanning several countries in southeastern Europe; for the demographics of the Republic of Macedonia, see Demographic history of the Republic of Macedonia. The geographical region of Macedonia Contents …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»